65 nm工艺双层三维静态存储器的软错误分析与评估

新兴的三维静态存储器将代替二维静态存储器被广泛用于高性能微处理器中,但它依然会受到软错误的危害。为了能够快速、自动分析多层管芯堆叠结构的三维静态存储器软错误特性,搭建了三维静态存储器软错误分析平台。利用该平台对以字线划分设计的三维静态存储器和同等规模的二维静态存储器分别进行软错误分析,并对分析结果进行对比。研究结果表明二维和三维静态存储器的翻转截面几乎相同,但三维静态存储器单个字中发生的软错误要比二维静态存储器更严重,导致难以使用纠检错技术对其进行加固。静态模式下二维和三维静态存储器敏感节点均分布于存储阵列中,表明静态模式下逻辑电路不会引发软错误。     

利用状态机检测JAVA空指针引用故障

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。     

【专栏】飞机结构静强度应变现场测试手段展望

目前飞机结构静强度应变现场主要的测试手段为使用电阻应变计测量系统，但电阻应变计测量系统存在抗电磁干扰差、引线过多以及一致性难以保证等问题，测试效果难以保证。近年来，光纤传感以及非接触光学测量手段的迅速发展，为飞机结构静强度应变现场测试提供了多种选择。本文通过分析以数字图像相关法技术为代表的新技术的特点，如通过进行非接触操作消除安装过程中所带来的分散性误差以及不确定性，在应对某些需要定性分析的飞机静强度试验场合时可以实时给出三维应变和位移场数据，使测量技术更加直观，以及可溯源性更好、更容易保证计量特性的稳定等，对未来飞机结构静强度应变现场测试手段进行了展望，以期为相关部门和机构提供参考。     

水下缩比航行体热尾流的红外探测实验

根据缩比模型,建立缩比红外成像实验测试系统,对水下航行体的体积、航行深度、运动速度、尾流排放等进行缩比设计,设计多种实验工况,可实现缩比目标模型红外尾流的静态和动态测试。一方面明确红外尾流的可探测性,另一方面掌握红外尾流可探测性的影响因素以及红外尾流的变化规律,为下一步工作奠定基础。缩比实验结果表明,利用区域灰度均值和均方差的起伏变化可有效探测水下航行体水面尾迹。     

基于静态舒适性分析的装甲车辆驾驶舱人机匹配研究

基于人体骨骼结构分析,结合坦克驾驶员驾驶特点,建立坦克驾驶员的二维运动学模型;根据该二维模型的几何特性,建立人体各关节链的闭环矢量方程,并运用Newton-Raphson方法对方程进行求解;以求解计算结果为依据,分析不同身高尺寸的驾驶员对某型主战坦克驾驶舱的静态人机适应性。     

某型飞机大气数据系统设计

大气数据系统是重要的机载电子设备,其性能、精度直接关系到飞机的飞行安全.在介绍某型号飞机大气数据系统的软硬件体系结构的基础上,从三个方面深入研究了提高大气数据系统精度的途径:大气数据计算模型;基于BP神经网络的压力测量温度误差补偿方法;一种计算型静压源误差补偿方法.其大气数据系统系统性能稳定,结构紧凑,速度快,精度高,软硬件升级简单.试验证明其大气数据系统能很好满足某型号飞机的使用要求.     

SMV静态混合器的数值模拟

介绍了静态混合器的种类、特性、工作原理和一种通用计算流体力学软件,Fluent软件.利用Gambit前处理器构造了一个简化的SMV型静态混合器模型,利用Fluent软件数值求解混合器的流场,对模拟结果进行了分析,混合小池对湍动能的产生贡献很大.混合器还能有效改善离散相的分散性.     

电偶腐蚀下非稳态扩散瞬时静电场分析

为分析在浓差极化条件下非稳态过程中的静电场分布情况，在斐克第二定律的基础上利用拉普拉斯变换求解电极表面氧浓度随时间的变化。通过法拉第定律分析受氧浓度控制下的电偶腐蚀电流密度，在此基础上利用电流元模型求解电解质溶液中任意位置处产生的瞬时电位及静电场强度，并通过实验验证结果的正确性。结果表明：浓差极化下的非稳态扩散传质产生的静电场及电位会随着时间的增加而逐渐减小，并最终达到稳态，且电流密度会随着氧的浓度减小而减小。     

螺栓法兰连接结构有限元模型参数确定方法

螺栓法兰连接广泛用于各种工业结构中,为准确预测该连接在实际工作中发挥的作用,需要建立准确高效的有限元模型。针对有限元建模过程中模型各种参数的确定问题,综合使用数值仿真手段和试验手段分别对模型网格参数和接触参数的确定开展研究。参数确定后的螺栓法兰连接结构有限元模型在保证计算精度的前提下,计算效率得到显著提高。     

基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述，给出了资源泄漏缺陷状态机，定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中，按照资源泄漏缺陷状态机给出的转换条件进行状态计算，如果计算结果为故障，则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试，发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。